Definition 5.1.4 (Positive cone of K0)

for a -algebra , the positive cone of is